Index Manager

インデックスの構造を持つデータを管理する

インデックスはバイナリファイルで管理する

なので、二次記憶装置からの読み出し量をできるだけ減らしたい